A Logic Language based onGAMMA - like Multiset

Gammall og is a logic language based on multiset rewriting. The language combines the ability of describing parallel programs made of multiset transformation rules as in GAMMA with the execution model of logic programming in a strongly typed framework as in GG odel. We describe the design choices, the syntax, and the semantics. Gammall og has a standard model theoretic semantics expressed in terms of multiset rewritings; soundness and completeness results are proved with respect to extended SLD resolution. We present a prototype implementation of the language: it is based on GG odel which has been extended to support rst class multisets. Finally, as an example of the expressive power of the language we provide a speciication of a simple operating system.